From Belief Revision to Belief
ثبت نشده
چکیده
منابع مشابه
Parallel belief revision: Revising by sets of formulas
The area of belief revision studies how a rational agent may incorporate new information about a domain into its belief corpus. An agent is characterized by a belief stateK, and receives a new item of information α which is to be included among its set of beliefs. Revision then is a function from a belief state and a formula to a new belief state. We propose here a more general framework for be...
متن کاملRevocable Belief Revision
Krister Segerberg proposed irrevocable belief revision, to be contrasted with standard belief revision, in a setting wherein belief of propositional formulas is modelled explicitly. This suggests that in standard belief revision is revocable: one should be able to unmake (‘revoke’) the fresh belief in the revision formula, given yet further information that contradicts it. In a dynamic epistemi...
متن کاملM ar 2 00 0 Implementing Integrity Constraints in an Existing Belief Revision System ∗ CSE Technical Report 2000 - 03
SNePS is a mature knowledge representation, reasoning, and acting system that has long contained a belief revision subsystem, called SNeBR. SNeBR is triggered when an explicit contradiction is introduced into the SNePS belief space, either because of a user’s new assertion, or because of a user’s query. SNeBR then makes the user decide what belief to remove from the belief space in order to res...
متن کاملImplementing Integrity Constraints in an Existing Belief Revision System
SNePS is a mature knowledge representation, reasoning, and acting system that has long contained a belief revision subsystem, called SNeBR. SNeBR is triggered when an explicit contradiction is introduced into the SNePS belief space, either because of a user’s new assertion, or because of a user’s query. SNeBR then makes the user decide what belief to remove from the belief space in order to res...
متن کاملTWO-DIMENSIONAL BELIEF CHANGE An Advertisement
In this paper I compare two different the models of two-dimensional belief change, namely ‘revision by comparison’ (Fermé and Rott, Artificial Intelligence 157, 2004) and ‘bounded revision’ (Rott, in Hommage à Wlodek, Uppsala 2007). These revision operations are two-dimensional in the sense that they take as arguments pairs consisting of an input sentence and a reference sentence. Two-dimension...
متن کامل